The Workflow-Based Modelling Method for Spacecraft Automatic Testing Process
نویسندگان
چکیده
Nowadays workflow technology becomes more and more popular, which simplifies the application development and maintenance work, therefore enhancing efficiency. The process of spacecraft testing is very complex, and still depends on manual work to a large extend, so this paper introduces workflow theory into spacecraft testing area which brings forward a new opening architecture and helps to resolve many problems during the whole testing process. In addition we model the spacecraft testing process and present a testing workflow description language.
منابع مشابه
The Design and Implementation of Workflow Engine for Spacecraft Automatic Testing
Spacecraft software automatic testing plays an essential role in spacecraft testing field for a decade. However, less attention has been paid on it based on workflow methodology. In this paper we introduce workflow technology into testing for improving the automation of spacecraft software testing. Firstly we present a spacecraft testing process definition language STPDL. Then workflow patterns...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAutomatic Workflow Generation and Modification by Enterprise Ontologies and Documents
This article presents a novel method and development paradigm that proposes a general template for an enterprise information structure and allows for the automatic generation and modification of enterprise workflows. This dynamically integrated workflow development approach utilises a conceptual ontology of domain processes and tasks, enterprise charts, and enterprise entities. It also suggests...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملA structural approach for modelling performance of workflow systems
In this paper, we discuss a structural approach to automatic performance modelling of workflow systems. This uses a synthesis of performance evaluation process algebra (pepa) and a pattern-based hierarchical expression scheme. Such systems are important in cases where the performance models must be updated regularly, and dynamically, based on the current state of the resources.
متن کامل